
churchsche These , die von A. Church 1936 formulierte Aussage, dass jede im intuitiven Sinne berechenbare Funktion durch eine Turing-Maschine berechenbar ist. Die churchsche These ist kein mathematischer Satz, und sie kann auch nicht exakt bewiesen werden, da der Begriff »im intuitiven Sinne&l...
Gefunden auf
https://www.enzyklo.de/Lokal/42134
Keine exakte Übereinkunft gefunden.